CAT(k) group
In mathematics, a CAT(k) group is a group that acts discretely, cocompactly and isometrically on a CAT(k) space.
References
- Bridson, Martin R.; Haefliger, André (1999). Metric spaces of non-positive curvature. Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences] 319. Berlin: Springer-Verlag. pp. xxii+643. ISBN 3-540-64324-9. MR1744486.